Quantitative analysis of interacting systems: foundations and algorithms Project Summary In recent years, there has been an increasing interest in studying the behavior ...
Research/QAIS Web Preferences The following settings are web preferences of the Research/QAIS web. These preferences overwrite the site level preferences in ...
Grant BI1 2012 PTDC/EIA CCO/122240/2010 UMINHO WP1 Calculating fault propagation in functional programs This site contains the experimental part of the homonym ...